(0 7 4)(1 17 9)(2 20 3)(5 18 16)(6 11 8)(10 14 12)(13 19 15)
ALLOWS (11/8)-SEQUENCE
1: (9 14 17)
(0 7 4)(1 17 12 10 14)(2 20 3)(5 18 16)(6 11 8)(9)(13 19 15)
2: (13 19 15)
(0 7 4)(1 17 12 10 14)(2 20 3)(5 18 16)(6 11 8)(9)(13)(15)(19)
3: (5 18 16)
(0 7 4)(1 17 12 10 14)(2 20 3)(5)(6 11 8)(9)(13)(15)(16)(18)(19)
4: (1 17 12)
(0 7 4)(1 10 14)(2 20 3)(5)(6 11 8)(9)(12)(13)(15)(16)(17)(18)(19)